Reinhard Wilhelm , Helmut Seidl , Sebastian Hack
نویسندگان
چکیده
منابع مشابه
HATCH: Hack And Trick Capricious Humans - A Serious Game on Social Engineering
Kristian Beckers Technische Universität München (TUM) Institute of Informatics Boltzmannstr. 3 85748 Garching, Germany [email protected] Sebastian Pape Goethe-University Frankfurt Faculty of Economics Theodor-W.-Adorno-Platz 4 60323 Frankfurt, Germany [email protected] Veronika Fries Technische Universität München (TUM) Institute of Informatics Boltzmannstr. 3 85748 Garching, Germ...
متن کاملPolynomial Precise Interval Analysis Revisited
We consider a class of arithmetic equations over the complete lattice of integers (extended with−∞ and∞) and provide a polynomial time algorithm for computing least solutions. For systems of equations with addition and least upper bounds, this algorithm is a smooth generalization of the Bellman-Ford algorithm for computing the single source shortest path in presence of positive and negative edg...
متن کاملAbstract Interpretation over Zones without Widening
Interpretation over Zones without Widening Thomas Martin Gawlitza The University of Sydney, Australia [email protected] and Helmut Seidl Technische Universität München, Germany [email protected]
متن کاملFormal Methods of Transformations
The goal of this Dagstuhl seminar was to gather researchers working on the theory and practice of transformations (also know as transductions) of word and tree structures, which are realised by transducers (automata with outputs). This seminar was motivated by recent advances and breakthrough results, both in the settings of words and trees. Seminar April 2–5, 2017 – http://www.dagstuhl.de/1714...
متن کاملMinimization of Deterministic Bottom-Up Tree Transducers
We show that for every deterministic bottom-up tree transducer, a unique equivalent transducer can be constructed which is minimal. The construction is based on a sequence of normalizing transformations which, among others, guarantee that non-trivial output is produced as early as possible. For a deterministic bottom-up transducer where every state produces either none or infinitely many output...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011